7 results
RELEVANT CONSEQUENCE RELATIONS: AN INVITATION
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 30 June 2023, pp. 1-31
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
FIRST-ORDER FRIENDLINESS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 07 June 2023, pp. 1-15
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
MAXIMALITY OF LOGIC WITHOUT IDENTITY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 10 January 2023, pp. 147-162
- Print publication:
- March 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
CRAIG INTERPOLATION THEOREM FAILS IN BI-INTUITIONISTIC PREDICATE LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 12 August 2022, pp. 1-23
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
HOW MUCH PROPOSITIONAL LOGIC SUFFICES FOR ROSSER’S ESSENTIAL UNDECIDABILITY THEOREM?
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 29 June 2020, pp. 487-504
- Print publication:
- June 2022
-
- Article
- Export citation
INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
-
- Journal:
- The Review of Symbolic Logic / Volume 10 / Issue 4 / December 2017
- Published online by Cambridge University Press:
- 01 August 2017, pp. 663-681
- Print publication:
- December 2017
-
- Article
- Export citation
THE RELEVANT FRAGMENT OF FIRST ORDER LOGIC
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 1 / March 2016
- Published online by Cambridge University Press:
- 20 October 2015, pp. 143-166
- Print publication:
- March 2016
-
- Article
- Export citation